David Gries - PDFSEARCH.IO - Document Search Engine

David Gries
Results: 15

#	Item
11	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
12	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
13	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
14	TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE THE SCIENCE OF PROGRAMMING David Gries Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-25 09:35:55 Computer arithmetic Binary arithmetic Division Assertion Quasigroup Predicate transformer semantics Euclidean algorithm Mathematics Theoretical computer science Computing
15	PDF Document Add to Reading List Source URL: www.cs.utexas.edu - Date: 2008-04-03 21:46:33 Intellectual property law Copyright David Gries Anti-Counterfeiting Trade Agreement Gauntlet Edsger W. Dijkstra Games Digital media Electronic games

UPDATE